\contentsline {chapter}{\numberline {1}Benutzung}{2}{chapter.1}
\contentsline {chapter}{\numberline {2}Implementierung}{8}{chapter.2}
\contentsline {section}{\numberline {2.1}Boolesche Funktionen}{8}{section.2.1}
\contentsline {section}{\numberline {2.2}Variablenreihenfolge}{9}{section.2.2}
\contentsline {section}{\numberline {2.3}Shannon-Expansion}{9}{section.2.3}
\contentsline {section}{\numberline {2.4}BDD Erzeugung}{10}{section.2.4}
\contentsline {section}{\numberline {2.5}DOT Diagramm}{10}{section.2.5}
